This irreflexivity can be used to set up an equivalence relation.

这一反自反性可以用来建立一个等价关系。

youdao

The equivalence relation defined by the (transitive closure of the) set of imposed constraints implies N L = N L

实施的约束集合（的传递封包）所定义的等价关系表明：N L = N L

youdao

This irreflexivity can be used to set up an equivalence relation—that is, for Key s a and b , if comp(a, b) is false and comp(b, a) is false , then a and b must be equivalent.

这个反自反性质可以用来建立一个等价关系(equivalence relation)—也就是，对于Keys a和b来说，如果comp(a,b)为false并且comp(b,a)也为false，那么我们就说a和b是等价的。

youdao